منابع مشابه
φ φ φ φ φ φ k From Max - SAT to Min - UNSAT : Insights and Applications
This report describes a strong connection between maximum satisfiability and minimally-unsatisfiable subfor-mulas of any constraint system, as well as techniques for exploiting it. Focusing on CNF formulas, we explore this relationship and present novel algorithms for extracting minimally-unsatisfiable subformulas, including one that finds all such subformulas. We present experimental results s...
متن کاملShifts in the direction of Dutch bioethics: forward or backward?
Important bioethcs changes are underway in the Netherlands that carry, for better or worse, far-reaching social consequences. The two major areas of change involve (1) economics and containing soaring health costs and (2) end-of-life care as reflected in several high-profile cases: in a decision handed down by the Dutch Supreme Court on reviewing the procedures for the termination of life, in t...
متن کاملApparent and Actual Shifts in Mass and Width of φ Mesons Produced in Heavy-Ion Collisions
We present a method of analyzing invariant-mass spectra of kaon pairs resulting from decay of φ mesons produced in high-energy heavy-ion collisions. It can be used to extract the shifts in the mass and the width (∆M and ∆Γ) of the φ mesons when they are inside the dense matter formed in these collisions. We illustrate our method with the help of available preliminary data. Extracted values of ∆...
متن کامل1 2 Κ ′ 2 ( Φ † Φ ′ ′ ) ( Φ ′ ′
We show how the nearly bi-maximal mixing scenario comes out naturally from gauged SO(3) F flavor symmetry via spontaneous symmetry breaking. An interesting relation between the neutrino mass-squared differences and the mixing angle, i.e., ∆m 2 µe /∆m 2 τ µ ≃ 2|U e3 | 2 is obtained. The smallness of the ratio (or |U e3 |) can also naturally be understood from an approximate permutation symmetry....
متن کاملThe balance of forward and backward hippocampal sequences shifts across behavioral states.
Place cell firing patterns in the rat hippocampus are often organized as sequences. Sequences falling within cycles of the theta (6-10 Hz) local field potential (LFP) oscillation represent segments of ongoing behavioral trajectories. Sequences expressed during sharp wave ripple (SWR) complexes represent spatial trajectories through the environment, in both the same direction as actual trajector...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 2005
ISSN: 0022-247X
DOI: 10.1016/j.jmaa.2004.12.038